$\forall$$k$:FinProbSpace, $n$:$\mathbb{N}$, $X$:RandomVariable($k$;$n$), $q$:$\mathbb{Q}$. $q$$\ast$$X$ $\in$ RandomVariable($k$;$n$)